include std/machine.e public type valid_memory_protection_constant(object a)
protection constants type